java -Xms10240m -Xmx10240m -jar ../epmc-standard.jar check --model-input-files csma.3-4.prism --model-input-type prism --property-input-files csma.props --property-input-names time_max --translate-messages false --value-floating-point-output-native true --graphsolver-iterative-stop-criterion relative --graphsolver-iterative-tolerance 1e-6
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property time_max
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 15220 15220
build-model-states-explored 34783 19563
build-model-states-explored 54410 19627
build-model-states-explored 73339 18929
build-model-states-explored 93052 19713
build-model-states-explored 112457 19405
build-model-states-explored 131642 19185
build-model-states-explored 153755 22113
build-model-states-explored 176304 22549
build-model-states-explored 198245 21941
build-model-states-explored 220465 22220
build-model-states-explored 242870 22404
build-model-states-explored 263911 21042
build-model-states-explored 286071 22160
build-model-states-explored 308632 22561
build-model-states-explored 330771 22139
build-model-states-explored 353673 22902
build-model-states-explored 376210 22537
build-model-states-explored 399298 23088
build-model-states-explored 422162 22864
build-model-states-explored 444962 22799
build-model-states-explored 467346 22385
build-model-states-explored 490533 23187
build-model-states-explored 513358 22825
build-model-states-explored 533077 19719
build-model-states-explored 555569 22492
build-model-states-explored 577681 22112
build-model-states-explored 600123 22442
build-model-states-explored 622688 22565
build-model-states-explored 645232 22543
build-model-states-explored 667748 22517
build-model-states-explored 690066 22318
build-model-states-explored 712502 22436
build-model-states-explored 734993 22491
build-model-states-explored 757077 22084
build-model-states-explored 778788 21711
build-model-states-explored 801094 22305
build-model-states-explored 823852 22759
build-model-states-explored 846539 22687
build-model-states-explored 868993 22454
build-model-states-explored 891763 22770
build-model-states-explored 914427 22664
build-model-states-explored 936940 22513
build-model-states-explored 959717 22777
build-model-states-explored 982259 22542
build-model-states-explored 1004785 22526
build-model-states-explored 1027491 22706
build-model-states-explored 1044557 17066
build-model-states-explored 1066948 22391
build-model-states-explored 1089562 22614
build-model-states-explored 1112074 22512
build-model-states-explored 1134688 22614
build-model-states-explored 1157096 22408
build-model-states-explored 1179678 22582
build-model-states-explored 1202088 22410
build-model-states-explored 1224620 22532
build-model-states-explored 1247121 22500
build-model-states-explored 1269652 22532
build-model-states-explored 1291345 21693
build-model-states-explored 1313680 22335
build-model-states-explored 1335739 22059
build-model-states-explored 1357904 22165
build-model-states-explored 1379978 22074
build-model-states-explored 1402089 22111
build-model-states-explored 1424308 22219
build-model-states-explored 1446746 22438
build-model-done 1460287 66
iterating
iterating-progress-unbounded 92 0.018091240303350402 1
iterating-done 194 1
model-checking-done 73
command-check-result-is 116.81812574072745 time_max